9 research outputs found
Immersed surfaces in the modular orbifold
A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a
closed geodesic in the modular orbifold. Some of these geodesics virtually
bound immersed surfaces, and some do not; the distinction is related to the
polyhedral structure in the unit ball of the stable commutator length norm. We
prove the following stability theorem: for every hyperbolic element of the
modular group, the product of this element with a sufficiently large power of a
parabolic element is represented by a geodesic that virtually bounds an
immersed surface.Comment: 13 pages, 8 figures; version 2 contains minor correction
Stable commutator length in Baumslag-Solitar groups and quasimorphisms for tree actions
This paper has two parts, on Baumslag-Solitar groups and on general G-trees.
In the first part we establish bounds for stable commutator length (scl) in
Baumslag-Solitar groups. For a certain class of elements, we further show that
scl is computable and takes rational values. We also determine exactly which of
these elements admit extremal surfaces.
In the second part we establish a universal lower bound of 1/12 for scl of
suitable elements of any group acting on a tree. This is achieved by
constructing efficient quasimorphisms. Calculations in the group BS(2,3) show
that this is the best possible universal bound, thus answering a question of
Calegari and Fujiwara. We also establish scl bounds for acylindrical tree
actions.
Returning to Baumslag-Solitar groups, we show that their scl spectra have a
uniform gap: no element has scl in the interval (0, 1/12).Comment: v2: minor changes, incorporates referee suggestions; v1: 36 pages, 10
figure
Rational numbers with odd greedy expansion of fixed length
Given a positive rational number with odd, its odd greedy expansion
starts with the largest odd denominator unit fraction at most , adds the
largest odd denominator unit fraction so the sum is at most , and
continues as long as the sum is less than . It is an open question whether
this expansion always has finitely many terms. Given a fixed positive integer
, we find all reduced fractions with numerator whose odd greedy
expansion has length . Given odd positive integers, we find all
rational numbers whose odd greedy expansion has length and begins with
these numbers as denominators. Given compatible odd positive integers, we
find an infinite family of rational numbers whose odd greedy expansion has
length and begins with these numbers as denominators.Comment: 21 page
Arithmetical structures on bidents
An arithmetical structure on a finite, connected graph is a pair of
vectors with positive integer entries for which
, where is
the adjacency matrix of and where the entries of have no
common factor. The critical group of an arithmetical structure is the torsion
part of the cokernel of . In this paper,
we study arithmetical structures and their critical groups on bidents, which
are graphs consisting of a path with two "prongs" at one end. We give a process
for determining the number of arithmetical structures on the bident with
vertices and show that this number grows at the same rate as the Catalan
numbers as increases. We also completely characterize the groups that occur
as critical groups of arithmetical structures on bidents.Comment: 32 page
A New Computation of the Codimension Sequence of the Grassmann Algebra
Krakowski and Regev found a basis of polynomial identities satisfied by the Grassmann algebra over a field of characteristic and described the exact structure of these relations in terms of the symmetric group. Using this, they found an upper bound for the the codimension sequence of the -ideal of polynomial identities of the Grassmann algebra. Working with certain matrices, they found the same lower bound, thus determining the codimension sequence exactly. In this paper, we compute the codimension sequence of the Grassmann algebra directly from these matrices, thus obtaining a proof of the codimension result of Krakowski and Regev using only combinatorics and linear algebra. We also obtain a corollary from our proof
Digital fixed points, approximate fixed points, and universal functions
[EN] A. Rosenfeld introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approximate fixed points of digitally continuous functions. Among these are several results concerning the relationship between universal functions and the approximate fixed point property (AFPP).Boxer, L.; Ege, O.; Karaca, I.; Lopez, J.; Louwsma, J. (2016). Digital fixed points, approximate fixed points, and universal functions. Applied General Topology. 17(2):159-172. doi:10.4995/agt.2016.4704.SWORD15917217
Extremality of the Rotation Quasimorphism on the Modular Group
For any element A of the modular group PSL(2,Z), it follows from work of Bavard that scl(A) is greater than or equal to rot(A)/2, where scl denotes stable commutator length and rot denotes the rotation quasimorphism. Sometimes this bound is sharp, and sometimes it is not. We study for which elements A in PSL(2,Z) the rotation quasimorphism is extremal in the sense that scl(A)=rot(A)/2. First, we explain how to compute stable commutator length in the modular group, which allows us to experimentally determine whether the rotation quasimorphism is extremal for a given A. Then we describe some experimental results based on data from these computations.
Our main theorem is the following: for any element of the modular group, the product of this element with a sufficiently large power of a parabolic element is an element for which the rotation quasimorphism is extremal. We prove this theorem using a geometric approach. It follows from work of Calegari that the rotation quasimorphism is extremal for a hyperbolic element of the modular group if and only if the corresponding geodesic on the modular surface virtually bounds an immersed surface. We explicitly construct immersed orbifolds in the modular surface, thereby verifying this geometric condition for appropriate geodesics. Our results generalize to the 3-strand braid group and to arbitrary Hecke triangle groups.</p